Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
🎭Program Synthesis
Building Faster with V0 and Claude Code: Lessons Learned from Vibe Coding
dev.to·1d·
Discuss: DEV
Live Coding
Unforgettable factory revisited
holyblackcat.github.io·17h·
Discuss: r/cpp
🪆Embedded DSLs
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·17h
🔗Unification Algorithms
Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
🌱Minimal Lisps
Need help with picking an engine and direction
reddit.com·10h·
Discuss: r/gamedev
🪞Metaprogramming
Let's Write a Macro in Rust
hackeryarn.com·6h·
Discuss: Hacker News
🦀Rust Macros
Lobsters Interview with Zdsmith
lobste.rs·16h·
Discuss: Lobsters
📚Stack Languages
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
🔗Concatenative Theory
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.com·5h·
Discuss: r/cpp
🧮Combinator Calculus
Show HN: I've built C# source code generator Fluent API library
github.com·1d·
Discuss: Hacker News
📋Tablegen
A Manifesto for the Programming Desperado
github.com·6h·
Discuss: Hacker News
🎭Program Synthesis
Effective C++ – Hour 10
jtag.bearblog.dev·1d
🧸Toy Compilers
Effects in Rust (and Koka)
aloso.foo·22h·
Discuss: r/rust
Algebraic Effects
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·12h
🧮Combinator Calculus
snaptrude uses AI to generate editable 3D architectural models from simple text descriptions
designboom.com·11h
🎭Program Synthesis
Codeminer42 Dev Weekly #82
blog.codeminer42.com·4h
🌱Forth Kernels
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to·7h·
Discuss: DEV
🪄C Metaprogramming
C++ Reflection and Qt MOC
wiki.qt.io·1d·
Discuss: Hacker News
🌉Language Bindings
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture